Vertragsprogrammierung (Design by Contract) Ursprüngliches Konzept nach Bertram Meyer, der dies in der Programmiersprache Eiffel systematisch umgesetzt hat. Man stellt sich vor, daß es einen Dienstnutzer (Client) und einen Dienstnehmer gibt. Der eine will vom anderen einen Dienst abrufen. Dazu schließen sie in übertragenem Sinn einen Vertrag. D...